derivaiton of mean free path